$M$.da($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(1of(2of($M$));KindDeq;$a$;Top)